$i$ $\leq$z $j$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{b}$$j$ $<$z $i$